%\hbox{\prmeleven Draft}\hbox{\prmeleven \timestamp}
\hbox{\prmeleven 88-002}\hbox{\prmeleven Draft submitted to X3J13 March 1988}